1. Logic programming : formal methods and practical applications
Author: edited by Christoph Beierle, Lutz Plumer
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming
Classification :
QA
76
.
63
.
L63294
1995
2. Termination proofs for logic programs
Author: Plumer, Lutz
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Artificial intelligence
Classification :
QA
76
.
63
.
P58
1990
3. Termination proofs for logic programs
Author: Plumer, Lutz
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
446
4. Termination proofs for logic programs /
Author: Lutz Plümer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic programming.
Classification :
QA76
.
63
.
P58
1990
